时序逻辑的并行描述与隐含遍历

随着电路规模的迅速增长,设计验证越来越复杂,从而需要高速的数据处理系统。基于总线型多机系统环境,研究电路网表和布尔表达式的BDD（Binary Decision Diagram）并行构造方法,并通过隐含遍历任务的动态调度设计有效地完成时序逻辑的状态遍历。     

等值电路法列写线性网络的状态方程

本文介绍一种新的编写线性网络状态方程的方法,优点是不必列写任何方程式,尤其是可以省略消去非状态变量的复杂计算过程。提出一种用检查“量纲”的办法来核对计算结果,以便及时纠正。     

NiCl_2-(CH_2)_6N_4·HCl-H_2O三元体系组成及热致变色性能研究

本文用相平衡法研究了NiCl_2—(CH_2)_6N_4·HCl—H_2O 三元体系在30℃的溶解度,测定了各液相的折光率。结果表明生成了复合物2NiCl_2·(CH_2)_6N_4·HCl·9H_2O.文中介绍了该三元体系在13°O 时平衡固相的热致变色性能,通过TG—DTA 研究初步探讨了热致变色机理。     

机器人步行腿机构的动力分析

本文根据力的叠加原理,采用拆杆拆副法,对一平面闭式多杆步行腿机构进行了较为全面的动力分析,得出了一个运动循环内原动曲柄的输入力矩及各运动副处的约束反力线图,为该机构的驱动、控制及进一步的改型设计提供了必不可少的计算依据。线图分析表明:该机构节省能量,力学性能较好,有良好的应用前景。     

刀具磨损监测的随机向量相关度量法

本文提出了一种运用功率累积和与n 维随机向量相关度量监测刀具磨损的新方法,即通过计算刀具三向振动加速度的相关度量系数,主轴扭矩或某项振动加速度的功率累积和综合监测刀具的磨损、破损以及刀具磨损的程度。该法在简单性、可靠性等方面比以往提出的方法有较大的进步,因而使得本方法具有很大的应用前景。文中对该法的理论基础进行了严格的证明,并给出了实验论证结果。     

P波段中功率混合集成放大器设计与制作

文中介绍了P 波段6瓦功率放大器的研制过程,讨论了有关理论和实际问题。该放大器采用微带和集中参数混合电路形式,具有体积小,结构紧凑,调试方便,性能稳定的特点。该电路已成功地用于某雷达整机。     

CCIP火控计算的CAD研究

以逐步回归理论为基础,应用CAD技术,给出了一种实用的CCIP火控计算研究方法,用该方法研制的火控工作式,不仅简单实用、易于修改,而且比原工作式的精度高。这种采用计算机辅助设计求解CCIP火控工作式的研究方法,也可应用于其它类型的火控工作式设计和一般的数据处理。     

超精加工中压电陶瓷刀具位置的自学习控制

本文介绍了两种自学习控制方法——P积分学习控制和自校正调节器的参数学习控制,及它们在压电陶瓷刀具控制中的应用。本文的研究表明,用这种先进控制方法可以克服压电陶瓷的非线性和磁滞,实现很高精度的定位和零误差跟踪控制。     

强流相对论电子束(REB) 电子能量径向分布的测量方法

本文介绍一种REB电子能量径向分布的测量方法。利用REB电子轰击阳极靶产生的“厚靶”韧致辐射的零角度测量,确定束电子能量的径向分布,从而判断REB的居中性和能量的均匀性。     

溶胶一凝胶法制备二氧化钛及其转化为氮化钛的研究

本文以钛酸丁酯为原料，通过溶胶一凝胶法制备了ＴｉＯ２凝胶，在高温下烧结此凝胶得到ＴｉＯ２。将ＴｉＯ２粉末在９００°Ｃ以上用氨进行氮化，制得金黄色的氮化钛。通过使用热分析、色谱分析、扫描电镜及Ｘ一射线衍射等手段，研究并揭示了凝胶在陶瓷化生成ＴｉＯ２的过程中的化学反应，结晶及晶型随温度的变化规律。发现了氮化钛陶瓷的生成率与ＴｉＯ２溶胶的制备条件之间的关系。